header pipe - German English Dictionary